ALL-ELECTRIC AUTOMATIC POWER SIGNALLING ON THE METROPOLITAN RAILWAY.

Power-Electronics Issues of Modern Electric Railway Systems

After de-regulation of the former state-owned railways and severe restructuring of the railway industry in the last 15 years, more innovative vehicle concepts saw the light of the day. Power electronics, already formerly being a pacemaker for progress of traction vehicles, brought forth an utmost standardization of the main drive by means of the IGBT-converter-fed induction motor drive. This is...

Topological Analysis of Tokyo Metropolitan Railway System

Rule-based Power Management for the All-electric Ship

Research in the area of power system, incorporating optimal power flow and optimal load shedding, has been used in classical dispatch problems to determine control adjustments to remove line overloads. This paper reports a rule-based load shedding in a ship power system. To filter critical outages and congestion cases, a load shedding rule-based system is implemented. The algorithm searches for...

On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings

Railway signalling systems have received a great deal of attention from the formal methods community. One reason for this is that the domain is relatively accessible; another is that the safety analyses to be undertaken are often highly parallelizable. In this paper we describe a ‘cloud interface’ for the refinement checker, Failures Divergences Refinement (FDR), which has been motivated and va...

Railway Signalling since the birth to ERTMS

Railway signalling can be defined as all systems used to control railway traffic safely, essentially to prevent trains from colliding. Over the years knoledgment and technology able to satisfy this issue have been implemented. After a long period during which each European nation used its own system (with the conseguent absence of interoperabilty among them), ERTMS/ETCS is currently the most co...